Borel combinatorics fail in <i>HYP</i>

نویسندگان

چکیده

We characterize the completely determined Borel subsets of HYP as exactly [Formula: see text] HYP. As a result, believes there is well-ordering reals, that Dual Ramsey Theorem fails, and every d-regular bipartite graph has perfect matching, among other examples. Therefore, several theorems descriptive combinatorics are not theories hyperarithmetic analysis. In case Theorem, this answers question Astor, Dzhafarov, Montalbán, Solomon third author.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hyperfiniteness and Borel Combinatorics

We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel c...

متن کامل

The Combinatorics of Borel Covers

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: (1) Some of the classes which were different for open covers are equal for Borel covers – Section 1; (2) Some Borel classes coincide with classes that have been studi...

متن کامل

A Determinacy Approach to Borel Combinatorics

We introduce a new method, involving infinite games and Borel determinacy, which we use to answer several well-known questions in Borel combinatorics.

متن کامل

Borel structures and Borel theories

We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Mathematical Logic

سال: 2022

ISSN: ['0219-0613', '1793-6691']

DOI: https://doi.org/10.1142/s0219061322500234